The Demonic Product of Probabilistic Relations the Demonic Product of Probabilistic Relations
نویسنده
چکیده
The demonic product of two probabilistic relations is de ned and investigated. It is shown that the product is stable under bisimulations when the mediating object is probabilistic, and that under some mild conditions the non-deterministic fringe of the probabilistic relations behaves properly: the fringe of the product equals the demonic product of the fringes.
منابع مشابه
Demonic orders and quasi-totality in Dedekind categories
This paper presents a proof of the associativity of demonic composition of relations in Dedekind categories and shows that the demonic composition is monotonic with respect to two demonic orderings on relations, which are defined by quasi-total relations, respectively.
متن کاملThe Probabilistic Steam Boiler: a Case Study in Probabilistic Data Refinement
Probabilistic choice and demonic nondeterminism have been combined in a model for sequential programs [11, 8] in which program refinement is defined by removing demonic nondeterminism. Here we study the more general topic of data refinement in the probabilistic setting, extending standard techniques to probabilistic programs. We use the method to obtain a quantitative assessment of the safety o...
متن کاملPartial correctness for probabilistic demonic programs
Recent work in sequential program semantics has produced both an operational (He et al., Sci. Comput. Programming 28(2, 3) (1997) 171–192) and an axiomatic (Morgan et al., ACM Trans. Programming Languages Systems 18(3) (1996) 325–353; Seidel et al., Tech Report PRG-TR-6-96, Programming Research group, February 1996) treatment of total correctness for probabilistic demonic programs, extending Ko...
متن کاملThe Probabilistic Steam Boiler: a Case Study in Probabilistic Data Reenement
Probabilistic choice and demonic nondeterminism have been combined in a model for sequential programs [11, 8] in which program re nement is de ned by removing demonic nondeterminism. Here we study the more general topic of data re nement in the probabilistic setting, extending standard techniques to probabilistic programs. We use the method to obtain a quantitative assessment of safety of a (pr...
متن کاملRestricted demonic choice for modular probabilistic programs
It is argued that one approach to modularity in programs containing both demonic and probabilistic choice is to allow variations on the former: `restricted demonic choice', written u L , is not allowed to use the value of variables named in the set L as it resolves its nondeterminism; ordinary demonic choice u is then just the special case u fg in which the set of hidden variables is empty. The...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002